and Logic

Results: 11835



#Item
361

On the Relationship between Concurrent Separation Logic and Assume-Guarantee Reasoning? Xinyu Feng Rodrigo Ferreira

Add to Reading List

Source URL: flint.cs.yale.edu

- Date: 2007-01-06 22:42:31
    362

    Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic Christoph Czepa1 , Huy Tran1 , Uwe Zdun1 , Thanh Tran Thi Kim2 , Erhard Weiss2 , and Christoph Ruhsam2 1

    Add to Reading List

    Source URL: eprints.cs.univie.ac.at

    - Date: 2016-05-27 09:10:59
      363

      Foundations for Decision Problems in Separation Logic with General Inductive Predicates Timos Antonopoulos1 , Nikos Gorogiannis2 , Christoph Haase3∗ , Max Kanovich4 , and Jo¨el Ouaknine1 1

      Add to Reading List

      Source URL: www.lsv.ens-cachan.fr

      - Date: 2014-01-22 10:58:58
        364

        Dynamic Frames in Java Dynamic Logic Peter H. Schmitt, Mattias Ulbrich, and Benjamin Weiß Karlsruhe Institute of Technology Institute for Theoretical Computer Science DKarlsruhe, Germany {pschmitt,mulbrich,bweiss

        Add to Reading List

        Source URL: i12www.iti.kit.edu

        - Date: 2010-06-02 04:06:07
          365

          Columbus Marriage Coalition Logic Model and Plan for Community Engagement

          Add to Reading List

          Source URL: spock.fcs.uga.edu

          - Date: 2013-01-08 14:13:09
            366

            Introducing Propositional Logic and Queueing Theory with the InfoTraffic Interactive Learning Environments Ruedi Arnold Institute for Pervasive Computing ETH Zurich 8092 Zurich, Switzerland

            Add to Reading List

            Source URL: ruedi-arnold.com

            - Date: 2011-12-23 03:25:45
              367

              2016 49th Hawaii International Conference on System Sciences Collective Intelligence in Law Reforms: When the Logic of the Crowds and the Logic of Policymaking Collide Tanja Aitamurto Brown Institute for Media Innovatio

              Add to Reading List

              Source URL: thefinnishexperiment.com

              - Date: 2016-01-04 10:28:13
                368

                CONFERENCE ANNOUNCEMENT AND CALL FOR PARTICIPATION THE CONSTRUCTIVE IN LOGIC AND APPLICATIONS. A 60TH BIRTHDAY CELEBRATION HONORING SERGEI ARTEMOV May 23–25, 2012, the CUNY Graduate Center, 365 Fifth Avenue, New York C

                Add to Reading List

                Source URL: fsw01.bcc.cuny.edu

                - Date: 2012-05-16 01:50:55
                  369

                  Quantitative Domains, Groupoids and Linear Logic Paul Taylor 1989 Abstract We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors wi

                  Add to Reading List

                  Source URL: www.paultaylor.eu

                  - Date: 2009-02-12 12:08:31
                    UPDATE